161. Latest advances in inductive logic programming /
پدیدآورنده : Stephen Muggleton, Imperial College London, UK, Hiroaki Watanabe, Imperial College London, UK
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Induction (Logic),Logic programming,Machine learning
رده :
QA76
.
63
.
M84
2014
162. Logic-Based 0-1 Constraint Programming /
پدیدآورنده : by Peter Barth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Economics.,Mathematical optimization.,Artificial intelligence.,Economics.,Mathematical optimization.
رده :
HD30
.
23
163. Logic Programming '87 :
پدیدآورنده : edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.
رده :
QA76
.
6
E358
1988
164. Logic Programming :
پدیدآورنده : by Isaac Balbin, Koenraad Lecot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
6
B957
1985
165. Logic Programming '89 :
پدیدآورنده : edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Translators (Computer programs)
رده :
QA76
.
63
E358
1991
166. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
پدیدآورنده : / Marcello Balduccini, Tran Cao Son
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
167. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
پدیدآورنده : / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
168. Logic Programming'85 : Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده : edited by Eiiti Wada
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
221
169. Logic Programming and Databases
پدیدآورنده : by Stefano Ceri, Georg Gottlob, Letizia Tanca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
63
B978
1990
170. Logic Programming and Knowledge Representation.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
171. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
172. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
173. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
174. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : / James P. Delgrande, Wolfgang Faber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
175. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ;
176. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Vladimir Lifschitz, Ilkka Niemelä.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Artificial intelligence.,Computer science.
رده :
Q334-342
177. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : / Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
178. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : / Pedro Cabalar, Tran Cao Son
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
179. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده : edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
180. Logic Programming' 89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
پدیدآورنده : K. Furukawa, H. Tanaka, T. Fujisaki eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
485
